** This class provides access to a files and directories on the system.
*/
/* @createTempDirectory Returns a new unique temp directory FILE object. */
/* @createTempFile Returns a new unique temp FILE object. */
/* @deleteFile Deletes the file or directory. The directory must be empty. */
/* @deleteFiles Deletes the directory and all of its contents. Will recursively delete subdirectoies
if the recurse option is true. Will act like deleteFile on non-directories. */
/* @equals Does the other FILE object refer to the same file or directory. */
/* @exists Does the file or directory exist. */
/* @getAbsoluteFile Returns a FILE object with the absolute, non relative, path. */
/* @getAbsolutePath Returns a STRING with the absolute, non relative, path. */
/* @getCanonicalFile Returns a FILE object with the canonical path. The path is absolute and does not traverse symbolic links. */
/* @getCanonicalPath Returns a STRING with the canonical path. The path is absolute and does not traverse symbolic links. */
/* @getExt Returns a STRING with the filename extension. */
/* @getNameNoExt Returns a STRING with the filename component with no extension. */
/* @getName Returns a STRING with the filename component, including the extension. */
/* @getParentFile Returns a FILE object with the parent path. May start using ".." if this is a relative path. */
/* @getParentPath Returns a STRING with the parent path. May start using ".." if this is a relative path. */
/* @getPath Returns a STRING with the full path, including the filename and extension. */
/* @isAbsolute Is the path absolute. */
/* @isDirectory Is the item a directory. */
/* @isFile Is the item a file. */
/* @lastModified Last modified time in milliseconds from 1/1/1970. */
/* @listFiles Returns LIST of FILE object(s) from this directory. */
/* @list Returns an LIST of STRING filenames from this directory. */
/* @getSize Returns a LONG of the file size. Not valid for contents below a directory. */
/* @listRoots Returns LIST of FILE objects with the toplevel filesystem roots. These are drives on Windows and "/" elsewhere. */
/* @mkdir Creates the directory. */
/* @mkdirs Creates the directory and all needed parents. */
/* @toURL Creates URL object */
/* @New
// DESCRIPTION
Creates a new instance of FILE from a parent FILE and/or a path STRING. If
neither is passed uses the current directory.
// ARGUMENTS
STRING path Path can include environment variables
FILE parent Parent file object. Actual path is composed from both
parent and path if they are both given.
// EXAMPLE's
#load "sys/stdlib.elf";
FILE f1 = new (FILE, path: "$HOME");
LIST l1 = f1.list(); // Returns a LIST of files in $HOME
FILE f2 = new (FILE, parent:f1, path:"bin");
LIST l2 = f2.list(); // Returns a LIST of files in $HOME/bin
FILE f3 = new (FILE, parent:f1, path:".cshrc");
print f3.exists(); // Tests if file $HOME/.cshrc exists
FILE f = new (FILE, parent: ".");
print f.list(); // List the contents of the current directory
*/
/* @renameFile Renames/moves the file or directory to the dest FILE object. */
/* @copyFile Copies the file to the dest FILE object. Only works on files. */
/* @sep Returns a STRING with the path separator. */
/* @copyDirectory Copies the contents of a directory to a destination directory. New directories will be created as needed. Files will always be overwritten. */